equality implementation

result is only true if both x and y are
of choice type T and the inner values are equal.